1. Software engineering, analysis and verification
پدیدآورنده : Lewis, Theodore Gyle
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,Verification ، Computers programs
رده :
QA
76
.
6
.
L477
1982